Coalition and Group Announcement Logic
نویسندگان
چکیده
Dynamic epistemic logics which model abilities of agents to make various announcements and influence each other’s knowledge have been studied extensively in recent years. Two notable examples of such logics are Group Announcement Logic and Coalition Announcement Logic. They allow us to reason about what groups of agents can achieve through joint announcements in non-competitive and competitive environments. In this paper, we consider a combination of these logics – Coalition and Group Announcement Logic and provide its complete axiomatisation. Moreover, we partially answer the question of how group and coalition announcement operators interact, and settle some other open problems.
منابع مشابه
Group announcement logic
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitional ability, focusing on what coalitions of agents can achieve by cooperating strategically. In this paper we bridge these topics by considering the question: “what can a coalition achieve by making public announcements?...
متن کاملCoalitions and announcements
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitional ability, focusing on what coalitions of agents can achieve by cooperating strategically. In this paper we make a first attempt to bridge these topics by considering the question: “what can a coalition achieve by publ...
متن کامل'Knowable' as 'known after an announcement'
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: ♦φ expresses that there is a truthful announcement ψ after which φ is true. Th...
متن کاملIRIT / RR – 2008 - 2 – FR ‘ Knowable ’ as ‘ known after an announcement ’
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: ♦φ expresses that there is a truthful announcement ψ after which φ is true. Th...
متن کاملCoalitional Public Announcement Games
Dynamic epistemic logic (DEL) is a popular framework for studying interaction in multi-agent systems. DELs describe the actions available to the agents, and their epistemic preand post-conditions. By extending standard epistemic models with preferences over epistemic states, we can say something about rational behaviour as well, combining logic and game theory. In this paper we assume that pref...
متن کامل